Ki(P)@s == e:PossibleEvent(poss). poss-consistent(i;T;s;e;Rs)  K(P)@e 

latex

---

clarification:

ma-knows{i:l}
ma-knows(poss; i; T; s; P; Rs; R)
== e:possible-event{i:l}(poss). poss-consistent(i;T;s;e;Rs)  es-knows{i:l}(poss; R; P; e) 

latex

Definitions	x:A. B(x), PossibleEvent(poss), P  Q, poss-consistent(i;T;s;ev;R), K(P)@e
FDL editor aliases	ma-knows